Speci cation of parts of a Lip Sync Protocol Using HyCharts
نویسنده
چکیده
This paper presents the speci cation of some parts of a lip synchronization protocol using HyCharts GSB The speci cation is based on a timed automata model for the protocol presented in BFK The primary motivation of this work is to examine the utility of HyCharts for problems in the multimedia eld in particular in comparison to timed automata AD
منابع مشابه
Specification of (parts of) a Lip-Sync Protocol Using HyCharts
This paper presents the speciication of some parts of a lip-synchronization protocol using HyCharts GSB98]. The speciication is based on a timed automata model for the protocol presented in BFK + 98]. The primary motivation of this work is to examine the utility of HyCharts for problems in the multimedia eld, in particular in comparison to timed automata AD94].
متن کاملPrototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs
In this paper a translation of the visual description technique HyCharts to Hybrid Data Flow Graphs HDFG is given While HyCharts combine a data ow and a control ow oriented formalism for the speci cation of the architecture and the behavior of hybrid systems HDFG allow the e cient and homogeneous internal representation of hybrid systems in computers and their automatic manipulation HDFG repres...
متن کاملModular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Visual description techniques are particularly important for the design of hybrid systems because speci cations of such systems usually have to be discussed between engineers from a number of di erent disciplines. Modularity is vital for hybrid systems not only because it allows to handle large systems, but also because hybrid systems are naturally decomposed into the system itself and its envi...
متن کاملExtending HyCharts with State Invariants
The paper de nes an extension of the HyChart notation with state invariants HyCharts are a graphical modular and formal description technique for the speci cation of hybrid i e mixed discrete continuous systems Methodological issues arising from the extension are discussed
متن کاملVisual Description of Hybrid Systems
The design of hybrid systems usually involves engineers from a number of di erent engineering disciplines Hence speci cation techniques are needed that can intuitively be understood by people from all these engineering communities Furthermore a formal foundation for these techniques in necessary to prohibit ambiguities which may be fatal in the safety critical environment of many hybrid systems...
متن کامل